The addition formula for sine gives us that
Because we know from exercise b that sinv=1−b2 we use that cos(4)=sin(4)=12 to obtain