Verified answer

По определению квадратного корня его результат не может быть отрицательным. Функция корня однозначна: для каждого неотрицательного числа существует ровно одно неотрицательное число, равное его корню.

Если корень существует, то , а значит, .

Более того,