Все хорошо, только сначала тут корень берётся а потом в квадрат возводится, хотя возникает таже ситуация с модулем. Но также не надо забывать что корень можно брать и из отрицательных чисел и при возведении в квадрат тоже можно получить отрицательное число. a^2+1=0; a^2=-1; a=sqrt(-1); a=i; Следовательно i^2=-1; Так, что доказательcтво таких теорем как Девушки=Зло лучше просчитывать в булевой алгебре(частный случай алгебры решетки);