Recurrence 4 lookup certificate: B2A4 degree bound

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_natDegree_le : Polynomial.natDegree recurrence4B2A4 ≤ 346

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_high (n : ℕ) (h : 346 < n) : Polynomial.coeff recurrence4B2A4 n = 0