set A1 = Int KurExSet;
set A2 = Int (Cl KurExSet);
set A3 = Int (Cl (Int KurExSet));
thus Int KurExSet <> Int (Cl KurExSet) by Th38; :: according to ZFMISC_1:def 5 :: thesis: ( not Int KurExSet = Int (Cl (Int KurExSet)) & not Int (Cl KurExSet) = Int (Cl (Int KurExSet)) )
thus Int KurExSet <> Int (Cl (Int KurExSet)) by Th45; :: thesis: not Int (Cl KurExSet) = Int (Cl (Int KurExSet))
thus not Int (Cl KurExSet) = Int (Cl (Int KurExSet)) by Th47; :: thesis: verum