Lagrange's theorem
Therefore, our original assumption that there is a subgroup of order 6 is not true and consequently there is no subgroup of order 6 in and the converse of Lagrange's theorem is not necessarily true.