>>579
なつかしい…。球角不等式でつね。