11. Properties of Equality and Real Numbers