3 es un homomorfismo Ren si mismo, que es, además, un isomorfismo.