theorem Th18: :: CLASSES3:18

for X being set
for G being Grothendieck of X holds Tarski-Class X c= G