This method has the following property.

#### Theorem 11.24

To show this theorem, let us first prove a few lemmas.

#### Lemma 11.25

*Proof*

Get *Theory of Computational Complexity, 2nd Edition* now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.