proof principle 怎么翻译