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