2_sq_roots_p1

We have

A:


B:


and we want to get

C:
.

1 ---------- end topic

To get the first inequality in C,
focus your attention on the first inequality in A and the second inequality in B.
Then negate B and apply O3 .

To get the second inequality in C,
focus your attention on the second inequality in A and the first inequality in B.
Then negate B and apply O3 .