Просто доказывается: Пользуемся дистрибутивностю умножения относительно сложения Перегруппировываем слагаемые, чтобы получились исходные данные решения, они равны 0 Получаем требуемое