Metin Can Aydemir şu çözümü verdi:
y=1 ise x=9 bulunur. y≥2 ise x≥10'dur. 3y=2x−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.