Number Theory Proof: If a|b and b|a then a = b or a = -b