六、证明程序