theorem Th67: :: ABCMIZ_1:67

for C being initialized ConstructorSignature
for a being quasi-adjective of C holds Non (Non a) = a