show/hide this revision's text 1 [made Community Wiki]

Lagrange's theorem (order of a sugroup divides the order of the group).