فرض کنیم x))b_n به معنای چند جمله ای برنولی باشد، همچنین فرض کنیم p یک عدد اول فرد و b یک عدد صحیح مثبت و زوج باشد، به طوری که .b?0 (mod p-1) در سال 1850 کومر برای k=0,1,2,… ثابت کرد که
b_(k(p-1)+b)/(k(p-1)+b)?b_b/b (mod p).
این همنهشتی ها به همنهشتی های کومر برای اعداد برنولی معروف می باشند. در سال 2000 ژی هون سان تعمیم همنهشتی های کومر را به اثبت رسانید. او ثابت کرد که
b_(k(p-1)+b)/(k(p-1)...
