theorem Th28: :: TRANSGEO:28

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