theorem Th43: :: TRANSGEO:43

for OAS being OAffinSpace
for f being Permutation of the carrier of OAS st f is dilatation holds
f " is dilatation