theorem
  R is connected implies R~ is connected by Lm5;
