continued fraction theorems applicable to approximation coefficients