[math-fun] Pythagorean quadrilateral