数学构造法证明存在2000个连续的自然数,他们都是合数