theorem Th18: :: PAPDESAF:18

for OAS being OAffinSpace holds Lambda OAS is Fanoian