Theorems about real number sequences