Cut elimination
Redirect to:
Cut-elimination theorem