Wikipedia:Articles for deletion/Order 3 groups are cyclic proof