怎样判断1234567是不是合数