Mitään todistettavaa ei ole: (i) Negatiivinen luku määritellään kaikkien nollasta poikkeavien positiivisten reaalilukujen tulona. (ii) Minkä tahansa luvun tulo nollalla on nolla. Tämä on hyvin määritelty. -0 tarkoittaa -1 * 0. (iii) Koska -1 on negatiivinen luku ja koska (ii) mukaan minkä tahansa luvun tulo nollalla on nolla, seuraa, että -1 * 0 = 0. Mutta -1 * 0 = -0, joten -0 = 0.