Division-factor evaluation shard 2

This serial interpolation shard verifies a small block of rational abscissas.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.divisionEvalBlock2 (d : ℚ) (i : Fin 5) : DivisionEvalCertificate d (↑↑i + 10)