theorem Th16: :: PAPDESAF:16

for V being RealLinearSpace
for OAS being OAffinSpace st OAS = OASpace V holds
Lambda OAS is Moufangian