Lagrange's continued fraction theorems