3除余1的正整数都可写成3的整数倍加1的形式