theorem Th103: :: CLASSES4:103

( FinSETS in GrothendieckUniverse sequence_univers & SETS in GrothendieckUniverse sequence_univers )