ParentFull threadhebdo·I fail to see how this helps. Actual proof is more complicated, it is based on continued fractions.View on HN