从1开始的N个相邻的自然数的乘积可以被k(k+1)(k+2)……[k+(N-1)]整除,是什么定理?