set A1 = Int KurExSet;
set A2 = Int (Cl KurExSet);
set A3 = Int (Cl (Int KurExSet));
thus Int KurExSet <> Int (Cl KurExSet) by Th36; :: 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 Th43; :: thesis: not Int (Cl KurExSet) = Int (Cl (Int KurExSet))
thus not Int (Cl KurExSet) = Int (Cl (Int KurExSet)) by Th45; :: thesis: verum