", 18. marraskuuta 2006 (UTC)

Lattierin manip/demanip-teoremin avulla voin osoittaa, että operaatiot, joissa on 0, ""pysyvät merkityksettöminä"".
Olkoon x = 2. 0 * x = 0. Silloin ""demanipuloidaan"", x = 0/0. Näin ollen 0 ei ole ""demanipuloitavissa"", ja näin ollen se jää merkityksettömäksi. QED.  16:24"