theorem :: PRE_POLY:51

Bags {} = {{}}