theorem
  r in X iff -r in --X by MEMBER_1:11;
