ラグランジュの定理:内容と応用