theorem
  x in dom Load i iff x = 0 by TARSKI:def 1;
