theorem :: NUMBER18:64

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