数论中,符号3(9)表示什么的,具体是,一整数能被3(9)整除的必要且充分条件