theorem Th19: :: AFF_4:19

for AS being AffinSpace
for a, b being Element of AS
for X being Subset of AS st X is being_plane & a in X & b in X & a <> b holds
Line (a,b) c= X