Der A = Cl (Der A) by Th33;
hence Der A is closed ; :: thesis: verum