به وضوح شرط لازمی که هست اینه که
. نشون میدیم این شرط کافی هم هست. برای
هایی که نسبت به
اول هستند حکم بدیهیست، چون برای اون ها
. برای اعداد توان
احکام زیر که قوی تر هم هستند را می توان ثابت کرد :
حکم 1 : برای هر عدد طبیعی
، دقیقا یک عدد
رقمی با ارقام
موجود است که بر
بخش پذیر باشد.
حکم 2 : برای هر عدد طبیعی
، دقیقا یک عدد
رقمی با ارقام
موجود است که بر
بخش پذیر باشد.