theorem :: TRANSGEO:67

for OAS being OAffinSpace holds Lambda OAS is CongrSpace