Recurrence 1 certificate: QuotientConstant

This file is a checked bounded-band arithmetic shard for the first pseudo-division recurrence in the order-seven branch-zero resultant certificate.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence1QuotientConstant_eq : recurrence1Remainder26 * recurrence1Source6 - recurrence1Remainder25 * recurrence1Source7 = recurrence1QuotientConstant