证明x^2007+1能被x+1整除(用二项式定理)