theorem :: INCSP_1:38

for S being IncSpace
for A, B, C, D being POINT of S st not {A,B,C} is linear & D on Plane (A,B,C) holds
{A,B,C,D} is planar