已知:对于任意非零自然数n,都存在一个自然数m,m>1,似的mn+1是一个合数