theorem Th4: :: ABCMIZ_A:4

for C being ConstructorSignature st C is standardized holds
for o being OperSymbol of C holds
( o is constructor iff o in Constructors )