theorem Th63: :: ABCMIZ_1:63

for z being set
for C being initialized ConstructorSignature holds
( z is quasi-adjective of C iff z in QuasiAdjs C )