Original: Equivalently, the derivative satisfies the property that
Simplified: Properties of derivatives