direct product of rings as categorical product in Ring

Let be rings and the direct product of rings.
Then with the projections

is the categorical product

Suppose is another ring and

are ring-homomorphisms

Then the map

is a welldefined ring homomorphism, since

and

furthermore, it makes by construction following diagram commute

At last, this map is unique, as each component of is forced by