Corollary UAL-2. Uniqueness of group laws under (gL). By Thm. UAL-1, there do not exist two distinct (gL)-groups with the same identity element.