main func, mult by col vec, n < k check