(P2) Any two distinct lines meet in a unique point.
(P2) 任意の相異なる二直線はただ一点において交わる。