a个连续自然数种必恰有一个数能被a整除的证明