由一个整除的证明探索能被特殊数整除的数的规律

题目 求证：若def^- -abc^-能被1001整除，则6位数abcdef^-能被1001整除。 证明 abcdef^-=1000abc^-＋def^-≡-abc^-＋def^-（mod1001）.若def^- -abc^-能被1001整除，则6位数abcdef^-能被1001整除。事实上。