theorem Th10: :: ABCMIZ_A:10

for C being standardized ConstructorSignature holds Vars misses the carrier' of C