词语

演证

yǎn zhèng

推演证明。