如果一个文件的扩展名为.EXE，那么这文件必定是可运行的。