A tétel nevében szerepel az állítás, miszerint nem teljes, tehát igaz.