Neat Quotient Rule Proof