theorem
  for f,g being Function of X,D holds f +* g = g by Th37;
