Prove that x - 0 = x.
Added lemmas
Commented out Eval that printed output during compilation
Merge /home/emakarov/coq/corn/math-classes