theorem Th35: :: INCSP_1:35

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