Es, ni más ni menos, la famosa fórmula de Fitche: menos A (-A) supone A.