theorem :: ABCMIZ_A:45

for a being quasi-adjective holds main-constr ((non_op MaxConstrSign) term a) = non_op