短語詞組短語irreducible algebraic equation correspondence 不可約對應(yīng) 返回 irreducible algebraic correspondence