You do not have access to this note.

13.1 Reductio ad absurdum