theorem Th33: :: ABCMIZ_A:33

for C being initialized ConstructorSignature
for e being expression of C holds e is subexpression of e