theorem Th66: :: MMLQUERY:66

for X being ConstructorDB
for x, y being Element of X holds
( x in y ref iff y in x occur )