theorem
  {} - A = {};
