continued fraction theorems that hold for sqrt(16)