Question 521335
We don't have your book.
Corollary 4-4 would be different in different books.