theorem :: NUMBER13:53

for x, y, z, t being non zero Integer holds
( (x ^2) + (6 * (y ^2)) <> z ^2 or (6 * (x ^2)) + (y ^2) <> t ^2 )