theorem :: INCSP_1:36

for S being IncSpace
for A, B, C being POINT of S st A <> B & A <> C & {A,B,C} is linear holds
Line (A,B) = Line (A,C)