theorem :: MIDSP_1:1

the carrier of Example = {{}} ;