Cayley's theorem — theorem in group theory