“…Authority m Corollary 6.10 {s : 10 ≤ s ≤ 57} \ {16, 20,24,28,32,36,40,44,48, 50, 52, 54, 55, 56} Lemma 7.4 with (n, g) ∈ {(10, 0), (11,0), (12,0), (13,0), (11,10), (11,11), (14, implies that n 2 − n 1 > 3 for all n 2 ∈ E and n 2 > n 1 . However, a quick check on E gives a contradiction.…”