Я же написал, что в этом примере это не даст ничего, но есть примеры, где это очень сильно может сократить количество случаев, допустим если какое-нибудь неравенство с модулями и параметрами, чтобы не рассматривать миллионы случаев, выгодно бывает заменить эти модули на корни из квадратов.