無限に点があっても2つしか通らない直線が引けるっていう証明ってことだよな