Verify that the given function y is a solution of the initial value problem that follows it. yt)= -2 cos 2t; y' t) + 4yt)= 0, y0) = -2, y'0)=0