「隣の点」の定義は>449でいいだろ。
aとbが隣であるとは、aとbの間に他の点がないこと。
存在しないというのが玉にキズだが、あんま気にしなくていいんじゃ
ないかと個人的には思う。