theorem
  E is full iff incl(E) is full
by Th13;
