[Nikich]

Function Dis(X1,Y1, xx,yy)
Return Abs(((xx-X1)*(xx-X1)+(yy-Y1)*(yy-Y1))^0.5)
End Function

Смотрим.

(xx-X1)*(xx-X1)

Точно неотрицательное.

(yy-Y1)*(yy-Y1)

Точно неотрицательное.

(xx-X1)*(xx-X1)+(yy-Y1)*(yy-Y1)

Супер точно неотрицательное.

((xx-X1)*(xx-X1)+(yy-Y1)*(yy-Y1))^0.5

Неотрицательнее уже некуда.
Зачем ещё модуль?
Хотя, там и корень то не очень нужен.