Recurrence 1 certificate: Residual3

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.recurrence1Residual3 : recurrence1Left3 = recurrence1ShiftTerm3 + recurrence1QuotientTerm3 + recurrence1ExceptionalTerm3