This is to show that the normal function of euclidian integers preserves the multiplicative property. To start lets define the euclidian integers:
Then the normal function is defined as Now to prove the corresponding homomorphism preserves multiplication: And from the other side