Aplicando las reglas del cálculo deducción natural: