Exercise 2.3.21. Prove the statement of Corollary 2.3.20 directly from the definition of \(\Pi _{\infty }\). Hint: Use Lemma 21.6.12.

Generated from the authoritative LaTeX source.