We say

is a givens rotation, where and they appear at columns / rows
Given a column vector we can set

To find:

Where appears at index and appears at index and all other values are intact.