“…Let P be a set of 15 elements and assume that there exists a 5-antiblocking system A with |A| = g(15, 4, 5) = 10. By Lemma 4, for every point p ∈ P we have r p |A| − g(14, 4, 4) = 3, and x 0 = 0 because of |A| = 10 < 13 = g(14, 4,5). Therefore by Lemma 6 the equations x 2 = 15 − x 3 − x 1 and x 3 − x 1 = 10 hold, hence 10 x 3 12.…”