theorem Th41: :: AFF_4:41

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