已知a,b都是正整数,且ab能被3整除,求证:a,b中至少有一个能被3整除