if have proven that an equation is solved for x = 0 and that it goes into contradiction for x =/= 0
can i say that it is for shure 0?

something feels missing but i might be just a schizo