汉英词典(图标) 程序证明