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