The sixth order-seven branch-zero resultant recurrence

This file turns the checked scalar resultant identity into the bivariate pseudo-division recurrence required by the backtracking certificate.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence6_checked : recurrence6