Nonlinear stability theorem for rotating coherent structures in a non-neutral plasma column