theorem Th43: :: ABCMIZ_1:43

for C being initialized ConstructorSignature
for a being expression of C, an_Adj C holds
( (non_op C) term a is expression of C, an_Adj C & (non_op C) term a = [non_op, the carrier of C] -tree <*a*> )