I do not remember the actual proof, but
there is a formal logical proof that proves
that one is equal to zero.