I know the first line isn't an axiom, but it was something previously stated, and I made it made starting point. However, that answer makes a lot of sense. I'm not sure why this is what was mentioned in class, rather than some make a=1 and some other stuff that didn't quite make sense. Thanks...