Consider a unitary matrix
,
where
,
. Therefore,
given any vector
,
Given
, we want to find
(and hence
) such that
is a multiple of the
first coordinate vector
. Therefore,
With the requirement that
, we obtain