4.11. Deducción de las reglas de derivación