for p being Nat
for G being finite Group
for x, d being Element of G st ord d = p & p is prime & x in gr {d} & not x = 1_ G holds
gr {x} = gr {d}