theorems involving regular continued fractions