Division-factor evaluation shard 3

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

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