辞海

释义：yǎn zhèng
1.推演证明。