$$a \neq 0, \; \frac{1}{a}$$
$$ab = ba$$
$$a(b+c) = ab + ac$$
$$a \gt b \iff a+1 \gt b + 1$$