ラグランジュポイントというものが存在していることは知ってる