
theorem
  for X being finite set, F being Dependency-set of X holds F is finite;
