证明完全立方数模9同余