theorem Th16: :: INCSP_1:16

for S being IncSpace
for A, B, C being POINT of S holds {A,A,B,C} is planar