Eyler almashtirishlari Eyler teoremasi. va shartlarda taqqoslama bajariladi. Isboti.Agar son keltirilgan sistemani tashkil etuvchi manfiy bo’lmagan eng kichik chegirmalarga teng qiymatlarni qabul qilsa , ya’ni , bo’lsa , u holda sonlarning dan iborat manfiy bo’lmagan eng kichik chegirmalari ham shu sistemani (lekin , umuman aytganda , boshqa tartibda) tashkil etadi. Ushbu , , …., taqqoslamalarni hadlab ko’paytirsak , hosil bo’ladi, ikkala tomonni ko’paytmaga qisqartirib taqqoslamani hosil qilamiz . Ferma teoremasi.- tub son bo’lib , son songa bo’linmasa