theorem
  {a} is Singleton of E;
