Well-defined, surjective ring homomorphism.

Printable View