这种证明题本来就是逻辑分析类,基本没有什么算式的呀
设任意连续2008个自然数,可以表示为m,m+1,.m+2007
则必有（m+2007）-m=2007 即两个数的差为2007
2007/2007=1
所以证明对任意m开始的,2008个连续的自然数,其中至少有两个数的差能被2007整除
原命题得证