A4 is the smallest group demonstrating that the converse of Lagrange's theorem is not true in general: given a finite group "G" and a divisor "d" of |"G"|, there does not necessarily exist a subgroup of "G" with order "d": the group has no subgroup of order 6. Although it is a property for the abstract group in general, it is clear from the isometry group of chiral tetrahedral symmetry: because of the chirality the subgroup would have to be C6 or D3, but neither applies.