Together with double negation elimination one may infer our originally formulated rule, namely that anything follows from an absurdity.
Заједно са двоструком негацијом елиминације може се закључити наше првобитно формулисано правило, а то је да било шта следи из апсурда.