theorem Th10:
  seq is convergent implies lim(-seq) = -(lim seq)
proof
  assume seq is convergent;
  then lim ((-1)(#)seq)=(-1)*(lim seq) by Th8;
  hence thesis;
end;
