for X being set
for L being non empty ZeroStr
for m being Monomial of X,L holds Monom ((coefficient m),(term m)) = m