ну да, не +, а * - по ссылке то самое неправильное доказательство. Ошибка в том, что когда они извлекают корень из квадратов справа и слева от равенства, надо ставить знак модуля у обоих. В этом месте доказательство и рушится.