theorem lem1b: :: RING_5:49
eval ((npoly ((Z/ 2),2)),(1. (Z/ 2))) = 0. (Z/ 2)