Доказательство исчерпанием

В этом видео рассматриваются три различных доказательства, в которых используется метод «доказательства исчерпанием».