theorem :: ABCMIZ_1:113

Top VarPoset = {}