theorem :: ABCMIZ_1:113
Top VarPoset = {}