theorem
  t,t, V-separate s1,s2
by JORDAN6:37;
