theorem :: PBOOLE:121

EmptyMS {} in EmptyMS {} ;