“…Table 1 lists the values of the 3-tuples (n, n − d, d) for 4 ≤ n ≤ 25. The case n = 4 is trivial, and it is easy to verify that for any k ∈ D d (f ), when n = 6, 8,9,11,12,13,14,15,17,18,21, k always contains two adjacent loop zero runs of length 2, and when n = 16, 19, 20 and n ≥ 22, k has at least one loop zero runs with length no less than 3, which contradicts Lemmas 16 and 10 respectively. Thus we have d ≥ d n .…”