theorem Th44: :: ABCMIZ_1:44

for C being initialized ConstructorSignature
for a, b being expression of C, an_Adj C st (non_op C) term a = (non_op C) term b holds
a = b