“…Theorem 1.9 (Jørgensen [5]) Every graph on n ≥ 8 vertices with at least 6n − 20 edges either contains a K 8 -minor or is isomorphic to a (K 2,2,2,2,2 , 5)-cockade. Theorem 1.10 (Song and Thomas [9]) Every graph on n ≥ 9 vertices with at least 7n − 27 edges either contains a K 9 -minor, or is isomorphic to K 2,2,2,3,3 , or is isomorphic to a (K 1,2,2,2,2,2 , 6)-cockade.…”