PanLinx
普通话
cmn-000
唯一存在定理
English
eng-000
unique existence theorem
PanLex