theorem Th48: :: AFF_4:48

for AS being AffinSpace
for X being Subset of AS st AS is not AffinPlane & X is being_plane holds
ex q being Element of AS st not q in X