theorem :: PRE_POLY:51
Bags {} = {{}}