Parciales

Hola Diego:

Es correcta la solución que planteás.

Creo que queda más natural si usamos la transitiva de la igualdad (RI3). Pero se puede resolver con RI4.

saludos