FreeGenSetZAO (f,D) is free by Th10;
hence FreeUnivAlgZAO (f,D) is free ; :: thesis: verum