Implicit differentiation, what's going on here? | Chapter 6, Essence of calculus