Recurrence 6 certificate: ActualScalar

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.scalarResidual6 : remainder7Coefficient1 ^ 2 * remainder6Coefficient0 = remainder7Coefficient0 * (remainder7Coefficient1 * remainder6Coefficient1 - remainder7Coefficient0 * remainder6Coefficient2) - remainder6Coefficient2 ^ 2 * exceptional6