theorem Th7: :: INCSP_1:7

for S being IncStruct
for P being PLANE of S
for F, G being Subset of the Points of S st G c= F & F on P holds
G on P ;