“…This group contains a cyclic subgroup of order divisible by 1 d (q (n−2)/2 + 1). We have ϕ 1 d (q (n−2)/2 + 1) > 8(n − 2) by the proof of Lemma 5.4, where d = (2, q + 1) unless (n, q) ∈ {(8, 2), (8,3), (8,4), (8,5), (10,2), (10,3), (12,2), (12,3), (14,2), (16,2)}.…”