ラグランジュ定理
【らぐらんじゅていり】
【raguranjuteiri】
拉格朗日定理