Es seien R {\displaystyle {}R} und S 1 , … , S n {\displaystyle {}S_{1},\ldots ,S_{n}} kommutative Ringe und es seien φ i : R → S i {\displaystyle {}\varphi _{i}\colon R\rightarrow S_{i}} surjektive Ringhomomorphismen. Es sei
der zugehörige Ringhomomorphismus in den Produktring
Es sei vorausgesetzt, dass die Elemente der Form ( 1 , 0 , … , 0 ) , ( 0 , 1 , 0 , … , 0 ) , … , ( 0 , … , 0 , 1 ) {\displaystyle {}(1,0,\ldots ,0),(0,1,0,\ldots ,0),\ldots ,(0,\ldots ,0,1)} zum Bild von φ {\displaystyle {}\varphi } gehören. Zeige, dass φ {\displaystyle {}\varphi } surjektiv ist.