theorem Th34: :: TRANSGEO:34

for OAS being OAffinSpace
for f being Permutation of the carrier of OAS holds
( f is dilatation iff for a, b being Element of OAS holds a,b '||' f . a,f . b )