generalize quotient-of-kernel factorization into quotient.v

This is a general fact about quotients of kernels.
Yes, I think that's right.