1. The problem statement, all variables and given/known data Suppose the field axioms include 0-1. Prove that, in this case, every element is equal to 0. Thus the existence of 0-1 would contradict the field axiom that 1≠0. 2. Relevant equations 3. The attempt at a solution My question regarding the proof is, why bother to show that every element in the field is 0 in order to show that 1≠0. In other words, isn't it easier to say: Previously proven lemma: For all x in F, 0*x = 0. Suppose there exists 0-1 in F such that 0*0-1=1. Then by the lemma above, the left side of the previous equation simply reduces to 0, and hence we are left with 1 = 0, a contradiction.