theorem
  {}|_2 A = {};
