theorems involving simple continued fractions

Input interpretation

regular continued fraction-related theorems (continued fraction results)