Recurrence 6 certificate: Residual

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.normalizedResidual6_eq_zero : normalizedResidual6Term1 - normalizedResidual6Term2 + normalizedResidual6Term3 = 0