7.3 具体函数形式的检验