两个非零自然数的积、和、差必有一个能被3整除的数