for OAS being OAffinSpace holds Lambda OAS is Fanoian