theorem
  s1,s2, V-separate t1,t2 implies s1,s2, V-separate t2,t1;
