theorem Th81: :: CLASSES4:81

for G being Grothendieck holds union G = G