Deducción - David Álvarez
RESOLVER DEDUCCIÓN
COMPROBAR SOLUCIÓN
GENERAR DEDUCCIÓN