Division-factor evaluation shard 1

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

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