theorem
  [#]E is_stable_under_the_action_of A;
