所有编好的程序经过仔细检查没有发现问题，就是正确的程序。