theorem :: TRANSGEO:38

for OAS being OAffinSpace holds id the carrier of OAS is dilatation