theorem :: TRANSGEO:31

for OAS being OAffinSpace
for f being Permutation of the carrier of OAS holds
( not f is negative_dilatation or not f is positive_dilatation )