You do not have access to this note.

15.4 Advanced Reductio