If two expressions are equal, what is true for one is true for the otherΒΆ
This is known as Leibniz's Law. In Maths when two expressions are found to be equal then anything which is true for one must be true for the other.
The reverse is also true, in that two expressions where when one thing is true