theorem :: INCSP_1:39

for S being IncSpace
for A, B, C being POINT of S
for L being LINE of S st not C on L & {A,B} on L & A <> B holds
Plane (C,L) = Plane (A,B,C)