Cut-insertion theorem

From Wikipedia, the free encyclopedia