Es sencillo comprobar que si tomamos formula_35 la proyección canónica de formula_1 sobre formula_2, entonces formula_38 (de hecho mediante esta demostración se demuestra de manera inmediata que formula_28 es un ideal de formula_1; aquí, formula_41 es el nilradical de formula_1, definido más abajo).