Obsérvese que si definimos