You do not have access to this note.

25.5 Prenex Form and Chain of Equivalences