No logro entender la primer equivalencia por ningun camino, con teorema 2.5.3 no me queda exactamente igual, tal vez la estoy usando mal.
Después no se si en la segunda equivalencia esta bien decir que es por Teo 2.5.6 de cambio de variables.
Luego la ultima no logre entenderla tampoco.
Gracias!