Cayley's theorem

Etymology
Named in honour of.

Proper noun

 * 1)  The theorem stating that every group G is isomorphic to a subgroup of the symmetric group acting on G.