When is one allowed to merge "outside of integral" stuff inside integrals?
Such as
$$\int_A f(y)dy - f(x)$$
becoming
$$\int_A [f(y)-f(x)] dy$$
Intuition says that in this case $f(x)$ doesn't depend on $y$, therefore "it doesn't alter then integral, but only by a constant". However, this is not rigorous.