continued fraction theorems for sqrt(7)