Metin Can Aydemir şu çözümü verdi:
$y=1$ ise $x=9$ bulunur. $y\geq 2$ ise $x\geq 10$'dur. $3^y=2^x-509$ sayısının $9$'a bölünmesi üzerinden ilerleyelim. $$2^x\equiv 509\equiv 5\pmod{9}\implies x\equiv 5\pmod{6}$$ elde edilir. Mod $7$'de incelersek, $x\equiv 5\pmod{6}$ olduğundan $2^x\equiv 4\pmod{7}$'dir ve $$3^y\equiv 2^x-509\equiv 6\pmod{7}$$ elde edilir. $3^y\equiv 6\pmod{7}$ olmasının tek yolu $y\equiv 3\pmod{6}$ olmasıdır. $y=3k$ yazarsak, $3^y=27^k\equiv 1\pmod{13}$ olacağından, $$2^x\equiv 3^y+509\equiv 3\pmod{13}\implies x\equiv 4\pmod{12}$$ bulunur. Ancak yukarıdan da bulduğumuz gibi $x$ tek sayıdır. Bu da bir çelişkidir. $y\geq 2$ için çözüm yoktur.