صرفا برای کاربرانی که ممکن است متوجه نکتهٔ «فرضِ دورقمی بودن» نشدهباشند، عددِ ۹ که آقای @Imaninezhad بدست آوردن یک عدد یکرقمی و در نتیجه کوچکتر از هر عدد دورقمی پس کوچکتر از $a$ است. در نتیجه در تعریف باقیمانده صدق میکند، و گر نه نمیتوانستیم مطمئن باشیم که باقیمانده است و نیاز ب سادهتر شدنِ بیشتر ندارد.