theorem lemNor3d: :: FIELD_13:25

for F1 being Field
for F2 being b₁ -homomorphic Field
for h being Homomorphism of F1,F2
for a being Element of F1 holds (PolyHom h) . (X- a) = X- (h . a)