theorem :: CLASSES4:95

union (rng sequence_univers) is not Grothendieck