theorem Th12: :: AFPROJ:12

for AS being AffinSpace
for X, Y being Subset of AS st X is being_line & Y is being_line holds
( LDir X = LDir Y iff X '||' Y )