Verify that y = sin x is a solution to y'' + y = 0