验证过程

proof procedure