Si tenemos un cuerpo formula_13, un anillo formula_8 y un homomorfismo unitario de anillos formula_15, tenemos entonces que formula_16, luego formula_17 es monomorfismo y podemos considerar que formula_13 es un subanillo de formula_8 (mediante el primer teorema de isomorfía, formula_13 es isomorfo a un subanillo de formula_8).