Verify that y1(t) = cos(2t) and y2(t) = sin(2t) are solutions to the differential equation y" + 4y = 0. Do they constitute a fundamental set of solutions?