theorem :: TRANSGEO:57

for OAS being OAffinSpace
for f, g being Permutation of the carrier of OAS st f is translation & g is translation holds
f * g is translation