set-constr `2 = [{},0] by MCART_1:7;
hence ( kind_of set-constr = a_Type & loci_of set-constr = {} & index_of set-constr = 0 ) by MCART_1:7; :: thesis: verum