Recurrence 5 lookup certificate: B1 source bound

This is a checked coefficient-lookup shard for the fifth pseudo-division recurrence in the order-seven certificate.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B1_coeff_high (n : ℕ) (h : 149 < n) : Polynomial.coeff remainder6Coefficient1 n = 0

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5B1_natDegree_le : Polynomial.natDegree remainder6Coefficient1 ≤ 149