[math-fun] Pythatgorean problem