theorem Th14: :: PAPDESAF:14

for V being RealLinearSpace
for OAS being OAffinSpace st OAS = OASpace V holds
Lambda OAS is Desarguesian by Th9, Th11;