展开 被三除余1的正整数的集合