Изучаем логику: примеры косвенного разделительного доказательства с иллюстрациями