abcdef=abc×1000+def=abc×999+(abc+def)
又因为999=9*3*37
而abc+def可以被37整除
后两项都可以被37整除
所以abcdef必然是37的整数倍,即被37整除