theorem Th40: :: AFF_1:41

for AS being AffinSpace
for A being being_line Subset of AS holds A // A