reserve x,y,t for Real;

theorem Th11:
  x^2<1 implies x+1>0 & 1-x>0
proof
  assume x^2<1;
  then -1<x & x<1 by SQUARE_1:52;
  hence thesis by XREAL_1:148,149;
end;
