theorem Th37:
  0 in dom Load i by TARSKI:def 1;
