for AFS being AffinSpace
for f being Permutation of the carrier of AFS st f is translation holds
f " is translation