Lagrange theorem on subgroup size

Discuss the wikitag on this page. Here is the place to ask questions and propose changes.