for S being IncStruct
for F, G being Subset of the Points of S st G c= F & F is planar holds
G is planar