Es sei K {\displaystyle {}K} ein Körper und S {\displaystyle {}S} ein vom Nullring verschiedener Ring. Es sei
ein Ringhomomorphismus.
Dann ist φ {\displaystyle {}\varphi } injektiv.
