theorem Th42: :: ABCMIZ_A:42

for o being OperSymbol of MaxConstrSign holds
( o is constructor iff o in Constructors )