generalize quotient-of-kernel factorization into quotient.v