theorem Th39: :: AFF_4:39

for AS being AffinSpace
for M, N being Subset of AS st M // N holds
ex X being Subset of AS st
( M c= X & N c= X & X is being_plane )