Let's say we have the expression
Which means "for all values of 𝑎 and 𝑏 in the set of integers, if 𝑎𝑥 equals 𝑏𝑥 then 𝑎 must equal 𝑏."
For example, if 4×6=4×6, then 4=4.
However, this does not apply to 0.
For example, 7×0=6×0, but 6≠0.
Is there a way to add to the previous expression a term that says "as long as x doesn't equal 0"?