[obm-l] x^a + y^b = a^x + b^y

[Caio Costa]

Prove ou disprove que a equação acima não tem solução para x, y, a, b
inteiros maiores que 1.