离散数学任意M个整数作成的数列，一定有相邻若干个整数之和可被M整?