汉英词典(图标) 部分正确性证明