theorem :: NUMBER14:95

for x, y, z being positive Integer holds not (((4 * x) * y) - x) - y = z ^2