adding in laws and theorems of real numbers