cleaned a litle
add comment on DKryskov_nmod_1_lower()