theorem :: INT_7:31

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