開写像定理
【かいしゃぞうていり】
【kaisyazouteiri】
开映射定理