https://algebra2coach.com/1-1-properties-of-real-numbers/
1-1 Properties of Real Numbers