isQuotientOf
isQuotientOf(S,R)
-- tells whether S is a quotient ring of R.
