Showing explicit and implicit differentiation give same result