subdifferentiability