theorem Th28:
  e in A implies e is_dependent_on A
by ZFMISC_1:31,XBOOLE_1:12;
