:: deftheorem Def12 defines planar INCSP_1:def 12 :
for S being IncStruct holds
( S is planar iff for A, B, C being POINT of S ex P being PLANE of S st {A,B,C} on P );