第3章 输入懒散证明