It is known that the language

$L=\{a^n{b}^n{c}^m$:$nm\}$

is not context free. $($See the next exercise.$)$ Show that, in spite of this, it is not possible to use Theorem $8\mathrm{.}1$ to prove it$.$