theorem
  dom Del(fs,a) c= dom fs by Lm12;
