who came up with proof 13 for the pyageran them.
Do not remember where I picked it from. Loomis has a simiar proof (algebraic 9) but also without reference.