Recurrence 6 certificate: NormalizedScalar

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.normalizedScalarResidual6 : remainder7Coefficient1Normalized ^ 2 * remainder6Coefficient0Normalized = remainder7Coefficient0Normalized * (remainder7Coefficient1Normalized * remainder6Coefficient1Normalized - remainder7Coefficient0Normalized * remainder6Coefficient2Normalized) - remainder6Coefficient2Normalized ^ 2 * normalizedExceptional6