Podnoszenie do kwadratu stron nierówności

W Ad. 2 uznajemy, że wyrażenie pod pierwiastkiem jest +. Jeżeli x2 > x1 /\ (x2, x1> 0), to |x1 - x2| >=1 -> x1 - x2 <= -1. Dlaczego nie bierzemy takiej możliwości pod uwagę?

Edit: Zignorujcie pierwsze pytanie; Dlaczego nie bierzemy pod uwagę, że może być = 0? |x1-x2| = √(x1-x2)^2 >=0