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