汉英词典(图标) 机器理论证明