Cut-insertion Theorem
   HOME
*