theorem Th70: :: TRANSGEO:70

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