Use the method of Example 9 and the standard integral

to derive the general solution y(x) = A cos x + B sin x of the second-order differential equation y'' + y = 0. Thus its solution space has basis {cos x, sin x}.

S du 1-u = sin u + C