theorem :: TRANSGEO:86

for AFS being AffinSpace
for f, g being Permutation of the carrier of AFS st f is translation & g is translation holds
f * g is translation