theorem :: PASCH:24

for OAS being OAffinSpace holds OAS is Fanoian by Th23;