This is an old revision of the document!
Ross Used $0+0=0$ in the 2nd proof but I used $0^{-1}$ DNE I think both work?