Recurrence 5 lookup certificate: Scalar1Exceptional degree 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.recurrence5Scalar1Exceptional_natDegree_le : Polynomial.natDegree recurrence5Scalar1Exceptional ≤ 462

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_high (n : ℕ) (h : 462 < n) : Polynomial.coeff recurrence5Scalar1Exceptional n = 0