Yes, you can do the replacement with . No, you cannot leave the limits as they are. They are values of x, because of the differential. You have to change them to values of . Or, if you want, you can convert the antiderivative back into x's before you evaluate at the limits. I generally find the first alternative less work, but you can do as you wish.