Richard hartshorne areal differentiation