theorem :: TRANSGEO:42

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