theorem Th37: :: AFF_4:37

for AS being AffinSpace
for a, b, c being Element of AS ex X being Subset of AS st
( a in X & b in X & c in X & X is being_plane )