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