nondivergence