es en realidad una involución (y por tanto también una biyección), como lo que queda demostrada la identidad.