differentiability property