theorem Th107: :: ABCMIZ_1:107

for C being initialized ConstructorSignature
for e being expression of C holds
( e is ground iff variables_in e = {} )