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. 2x≡509≡5(mod9)⟹x≡5(mod6) elde edilir. Mod 7'de incelersek, x≡5(mod6) olduğundan 2x≡4(mod7)'dir ve 3y≡2x−509≡6(mod7) elde edilir. 3y≡6(mod7) olmasının tek yolu y≡3(mod6) olmasıdır. y=3k yazarsak, 3y=27k≡1(mod13) olacağından, 2x≡3y+509≡3(mod13)⟹x≡4(mod12) bulunur. Ancak yukarıdan da bulduğumuz gibi x tek sayıdır. Bu da bir çelişkidir. y≥2 için çözüm yoktur.