theorem Th21: :: CLASSES4:21

( FinSETS is trivial & not SETS is trivial )