What you proved is that a group X with the given property must be Abelian. This means, there cannotexist a group with the same property

that isnotAbelian. (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 ...?