#prove its differentiation