Cut-elimination
Redirect to:
Cut-elimination theorem