能被3整除的数的特征是什么 怎么证明