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