Рабочий стол. Продолжаем анализ доказательств (Шаг № 3-6)

Продолжаем анализ. Многое уже начинает проясняться.