Cut-elimination theorem

The cut-elimination theorem is the central result establishing the significance of the sequent calculus.

Reference:
http://en.wikipedia.org/wiki/Cut_elimination_theorem