theorem
  s1,s2, V-separate t1,t2 implies s2,s1, V-separate t1,t2
by JORDAN5B:14;
