Te sugiero esta estrategia:
- Derivar
a partir de 
usando RAA. Lo mismo para
usando la premisa y las dos derivaciones anteriores obtenés la derivación de
requerida.
Te sugiero esta estrategia:
a partir de usando RAA.Lo mismo para
usando la premisa y las dos derivaciones anteriores obtenés
la derivación de requerida.