Asúmase que } y sea }, sea una aplicación de en , tal que , donde están en y está en .