theorem
  r in T deg<= i iff deg r <= i
  proof
    r in T deg<= i iff ex r1 st r = r1 & deg r1 <= i;
    hence thesis;
  end;
