calculus quotient rule proof