
theorem Th15:
  for X being set, L being non empty ZeroStr, c being ConstPoly of
  X,L holds Support(c) = {} or Support(c) = {EmptyBag X}
proof
  let X be set, L be non empty ZeroStr, c be ConstPoly of X,L;
  assume Support(c) <> {};
  hence Support(c) = {term(c)} by Th7
    .= {EmptyBag X} by Lm2;
end;
