theorem
  0-SD = {0} by Th7,TARSKI:def 1;
