第3章 输入懒散证明(第2页)