"A finite group is cyclic if, for any integer m, the number of elements of order dividing m is at most m."
I have never seen this characterisation of cyclic groups before. How do I prove this? I hope the proof isn't too complicated because it's a lemma in another proof.