√x² = |x|
Модуль всегда неотрицательное число
√6 - √5 > 0
√5 - √6 < 0
Поэтому √6 - √5 > 0 верно
И вообще квадратный (или корень четной степени) всегда неотрицательное число
