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