Lisans kategorisinde oldugu icin su bilgiyi de verelim de kimse korkmasin.
Bir rasyonel $\frac{a}{b}=q$ sayisinin $\mathbb{Z}_2$ olmasi demek $a$'yi bolen iki sayisinin $b$'yi bolen iki sayisindan az degil demek. Yani eger $a,b$'yi aralarinda asal alisak soru su hale geliyor:
$H_n-H_m=\frac{a}{b}$ olsun, ve $(a,b)=1$. Bu durumda $b$ cift olur.
Boyle diyince orta okul ogrencileri de uzerinde dusunebilir hem.