theorem Th58: :: TRANSGEO:58

for OAS being OAffinSpace
for f being Permutation of the carrier of OAS st f is translation holds
f is positive_dilatation