
theorem
  for a, b, c being set st a in b & b is Subset of c holds c is non empty;
