Dimostrazione

1. Sappiamo già che Im(A)è un sottogruppo di B.

Inoltre se:

infatti se:

Dunque Im(A) è un sottoanello di B ;

2. Siano x un elemento del nucleo di f e a appartenente ad A;

che risulta essere un ideale di A. (c.v.d.)