theorem Th93: :: NUMBER14:93

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