theorem :: NUMBER14:94

for x, y, z being Rational holds not (((((x ^2) + (y ^2)) + (z ^2)) + x) + y) + z = 1