直線上に全ての点が存在以外にも反例は無数にある。
点は可算無限個だからナンバリング可能。点nを任意の正の自然数mで割った剰余で定まる直線上へ配置。・・・可算無限個の反例が存在。