theorem :: ABCMIZ_1:69

for C being initialized ConstructorSignature
for a being quasi-adjective of C holds Non a <> a