判断一个式子能否被3整除