[math-fun] ridiculously simple derivation (whose?) of Pythagorean triples