theorem Th11: :: AFPROJ:11

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 )