Proving the quotient rule...