| http://www.w3.org/ns/prov#value | - The reason these are proofs is a fact, due also to Lagrange, that you may know from continued fractions: given a complete chain of reduced indefinite forms of discriminant $\Delta,$ which is positive but not a square, all numbers $n$ with $|n|< \frac{1}{2} \sqrt \Delta$ and $n$ properly represented by the form occur as the first coefficient of a form in the chain.
|
