week-14 Quotient theorems