theorem :: NUMBER18:66

for x, y, z being positive Nat st ((x |^ 3) + (y |^ 3)) + (z |^ 3) = ((3 * x) * y) * z holds
( x = y & y = z )