PanLinx
普通话
cmn-000
间接证明
English
eng-000
indirect proof
PanLex
