The pattern {{MATH_28}} holds whenever {{MATH_29}} is a constant. Explaining why it works in generality will take some time. For now, let's see if we can use the problem to squash some derivatives with ease.