2) φ es sobreyectiva: Todo elemento de la imagen I es por definición de la forma "f(a)" que vale φ(â); luego pertenece también a "Im φ".