ジョゼフ＝ルイ・ラグランジュ
任意の有限群"G" に対して、"G" の任意の部分群 "H" の位数(元の個数)は "G"の位数を割り切る。この定理はジョゼフ＝ルイ・ラグランジュにちなんで名付けられた。