Выясните, равносильны ли следующие предикаты, если их рассматривать над множеством действительных чисел

// pascalabc.net 3.1, сборка 1230 от 27.04.2016 type   point=record   x,y: real   end;   function readpoint(c: char): point; begin   write('координаты точки ',c,': ');   read(result.x,result.y); end; procedure quarter(a: point); begin   write('точка (',a.x,',',a.y,') ');   if a.x< 0 then begin       if a.y> 0 then writeln('принадлежит ii четверти')       else           if a.y=0 then writeln('лежит на оси абсцисс')           else writeln('принадлежит iii четверти')       end   else       if a.x=0 then begin           if a.y=0 then writeln('лежит на пересечении координатных осей')           else writeln('лежит на оси ординат')           end       else           if a.y< 0 then writeln('принадлежит iv четверти')           else begin               if a.y=0 then writeln('лежит на оси абсцисс')               else writeln('принадлежит i четверти')               end end; begin   var a,b: point;   a: =readpoint('a'); b: =readpoint('b');   quarter(a); quarter(b);   write('расстояние от точки а до начала координат: ');   writeln(sqrt(sqr(a.x)+sqr(b. end. тестовое решение: координаты точки a: -3.7 1.73 координаты точки b: 6 8 точка (-3.7,1.73) принадлежит ii четверти точка (6,8) принадлежит i четверти расстояние от точки а до начала координат: 7.04911341943084