yes, i am not sure if your professor expects you to use special axioms here or what. but i would just note that the square root function is strictly increasing. we can see this since the derivative is always positive (where defined, it is not defined at zero, but we are not considering zero, so that's ok). thus, for any two nonzero numbers and in the domain of , we have , provided