for OAS being OAffinSpace holds Lambda OAS is CongrSpace