一个自然数数除以12后的余数只可能是：
0、1、2、3、4、5、6、7、8、9、10、11
共计12种
任意取13个自然数
这13个自然数除以12后有13个余数
肯定有两个数的余数是相同的
则这两个自然数的差一定是12的倍数