theorems that apply to ContinuedFractionK[1, k, {k, Infinity}]