Properties of derivative