2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/74302We consider the immediate consequence of an arguable addition to the standard Deduction Theorems of first order theories.9 pages; an HTML version is available at http://alixcomsi.com/An_arguable_addition.htmGeneral Mathematics03B10text