theorem
  E is empty iff G is edgeless;
