[math-fun] The first congruent number (Bill Gosper)