reserve M for finite-degree Matroid,
  A,B,C for Subset of M,
  e,f for Element of M;

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