Show by differentiating the right side, that a > 0

Show by differentiating the right side, that
Va - x dx sin' + C, Va-x + 2

a > 0