A convergence theorem for Grossberg learning