2. Dễ thấy tập ước nguyên tố của [imath]x,y,z[/imath] là như nhau. Gọi [imath]S[/imath] là tập này.
Lấy [imath]p\in S[/imath] bất kì. Thế thì ta có hệ điều kiện: [imath]\begin{cases} v_p(x)\leq 3v_p(y) \\ v_p(y)\leq 3v_p(z) \\ v_p(z) \leq 3v_p(x) \end{cases}[/imath]. [imath](*)[/imath]
Không mất tính tổng quát, giả sử [imath]v_p(x) = \min\{v_p(x), v_p(y), v_p(z)\}[/imath].
Từ [imath](*)[/imath] ta có: [imath]v_p(xyz) = v_p(x) + v_p(y) + v_p(z) \leq v_p(x) + 3v_p(z) + 3v_p(x) \leq 13v_p(x) = \leq 13v_p(x+y+z) = v_p((x+y+z)^{13}),\forall p\in S[/imath]
[imath]\Rightarrow xyz\mid (x+y+z)^{13}[/imath].