(P3) There exist at least four points of which no three are collinear.
(P3) 存在至少4個點，其中沒有3個點會共線。