for p being Prime holds Z/Z* p is cyclic Group