theorem
  (s!) * (t!) <> 0;
