compactification theorem紧: taut; tight化: change; turn; transform定理: theorem单值化定理: uniformization theorem正规化定理: normalization theorem下载手机词典可随时随地查词查翻译