theorem proving machine定理: theorem证明: prove; testify; bear out机: machine; engine代理证明机构: agency ca定理证明: theorem proving下载手机词典可随时随地查词查翻译
