theorem Th82: :: TRANSGEO:82

for AFS being AffinSpace
for f being Permutation of the carrier of AFS st f is dilatation holds
( f is translation iff for x, y being Element of AFS holds x,f . x // y,f . y ) by Th76;