next up previous
Next: If L is N(M) Up: If L is a Previous:

tex2html_wrap_inline327

Now, let tex2html_wrap_inline329

We show tex2html_wrap_inline331

Basis
tex2html_wrap_inline333

Induction
Let tex2html_wrap_inline335 by hypothesis

tex2html_wrap_inline337

tex2html_wrap_inline339


Sushil Prasad
Tue Jul 21 15:15:53 EDT 1998