递归和组合

递归

简单来说就是证明的嵌套，多个证明组合成一个新的证明减小证明时间。

组合