若审计程序设计的足够合理性，执行的有效性高，检查风险有可能降低为零。