can someone help me proof this theorem:

Let G be a cyclic group with n elements and generated by a. let B in G and let b=a^s. then b generates a cyclic subgroup H of G containing n/d elements, where d is the gcd of n and s.