
theorem
  for X being set, L being non empty ZeroStr, a being Element of L holds
  Support(a |(X,L)) = {} or Support(a |(X,L)) = {EmptyBag X} by Th15;
