"Karesi 9'dan farklı bir sayı 3'e eşit olamaz" teoremi, olmayana ergi yöntemine göre "Bir sayı 3'e eşitse karesi 9'dur" teoremine denktir. Yani [(x29) ? (x3)] önermesi, [(x=3) ? (x2=9)] önermesiyle aynı özü ifade eder. Matematikte bazı teoremler ancak olmayana ergi yöntemiyle kanıtlanabilir. "(0,1) aralığındaki gerçel sayılar sayılamaz" teoremi bu türdendir.
