translating 放正在翻译的选题，翻译完之后将其放入 proof 等待校对。