MultGroup (GF p) is finite Subgroup of MultGroup (GF p) by GROUP_2:63;
hence MultGroup (GF p) is cyclic by GR_CY_3:38; :: thesis: verum