Теорема: корень из произведения неотрицательных сомножителей равен произведению корней этих сомножителей.
Если a ≥ 0 и b ≥ 0, то
Проверим выполнение требования допустимых значений для произведения .
, следовательно:
, следовательно:
.
Таким образом, требование выполняется.
Теперь проверим, что