::::::Olen pahoillani. Määrittelin tämän todistuksessani. Totesin, että minkä tahansa luvun ja nollan tulo on nolla. Tämä on hyvin määritelty. Sinun pitäisi lukea todistus uudelleen. Se on esitetty oikein. Minun ei tarvinnut todistaa, että -1 * 0 = 0, eikä minun tarvinnut todistaa, että -0 = -1 * 0. Koska molempien lausekkeiden LHS on sama, tämä tarkoittaa, että 0:n on oltava yhtä suuri kuin -0. Tasa-arvon transitiivisuus.