Working on the continued fractions proof.