Let us assume that i=0 implies 1=0. But 1=/=0. Contradiction. Hence, the assumption is wrong and i=0 does not implies 1=0. The proof is completed.