第四节 证明程序