אנגלית ⇄ סינית +

non-interactive completeness theorem
.קריפט	非交互完备性定理