theorem Th32: :: AFF_1:33
for AS being AffinSpace
for a being Element of AS
for A being being_line Subset of AS holds a,a // A