“…Note that ν > 7 for all admissible pairs (x, y) with x ≥ 3, hence requirement ( 12) is meaningful only for the restricted subset of admissible (x, y) with x ≤ 2. Moreover, ( 12) is obvious when x = 0 because the seven points lie on distinct fibers; similarly, (12) is obvious also when y = 0, since in this case C = s or 2s according to whether x = 1 or 2, and we know that at most one of the p i 's can lie on s. This reduces the analysis to 11 − 5 = 6 admissible pairs and a close check can be done. In particular, recalling that µ = 7, in addition to the conditions in j) of Theorem 10, we see that (12) includes some further restrictions, like that the seven point cannot lie on a curve in |s + 3f | or in |2s + 3f |.…”