theorem :: ABCMIZ_A:27

( kind_of set-constr = a_Type & loci_of set-constr = {} & index_of set-constr = 0 ) ;