Прямой метод и метод от противного: визуальные примеры доказательств