“…We have the following triples (d, a, ψ): (16, 1, 3), (15,2,6), (15,3,2), (14,4,5), (14,5, 2) and we exclude the triples (15,2,6) and (14,4,5) which have ψ > 3. We have the following quintuples (d, a, ψ, w, u): (16,1,3,5,4), (15,3,2,4,1), (14,5,2,3,2) for which Claim 4 holds. Now assume k = 6 and hence 1 ≤ a ≤ 4.…”