Recurrence 6 certificate: Inner

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.normalizedResidual6Inner_eq : remainder7Coefficient1TimesRemainder6Coefficient1 - remainder7Coefficient0TimesRemainder6Coefficient2 + 0 = normalizedResidual6Inner