Resumen de deduction