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