What you proved is that a group X with the given property must be Abelian. This means, there can not exist a group with the same property
that is not Abelian. (that's what they mean with necessarily Abelian)
suppose there's a prime such that divides then there's an element of order p in X....so?
If it X had less then n generators....then ...?