theorem Th43: :: CLASSES4:43

omega c< FinSETS