ジョゼフ＝ルイ・ラグランジュ
For any finite group "G", the order (number of elements) of every subgroup "H" of "G" divides the order of "G". The theorem is named after Joseph-Louis Lagrange.