theorem Th31: :: AFF_4:31

for AS being AffinSpace
for a, q being Element of AS
for A being Subset of AS st A is being_line holds
a * A = a * (q * A)