[math-fun] Pythagorean relation in arithmetic progression in higher dimensions