UAp (UAp A) = UAp A by ROUGHS_1:35;
hence UAp A is closed by UApCl1; :: thesis: verum