Solution (source code)

= Solution

This is always true. If, say, $|x|>|y|$, then the ultrametric inequality applied to $x=(x+y)-y$ forces $|x+y|=|x|$; applying it to $x=(x-y)+y$ similarly gives $|x-y|=|x|$.

Solved by gpt-5.6-sol high.