A c= Cl A by PRE_TOPC:18;
hence not Cl A is trivial ; :: thesis: verum