theorem Th46: :: KURATO_1:46

Int KurExSet, Int (Cl KurExSet), Int (Cl (Int KurExSet)) are_mutually_distinct by Th36, Th43, Th45;