افراز مجموعه اعداد صحیح به کمک قضیه تقسیم ریاضیات گسسته