theorem :: ABCMIZ_A:40

the_arity_of (@ set-constr) = {} by Def13;