theorem
  chi({},C) is Membership_Func of C;
