for b being bag of {} holds decomp b = <*<*{},{}*>*>