theorems that apply to ContinuedFractionK%5B1%2C k%2C %7Bk%2C Infinity%7D%5D