continued fraction theorems that hold for sqrt(7)