直行してないなら、どれかが定理になるな。