A single qubit operator can be represented as .
Also, such a unitary can also be represented this way,
and thus, we obtain the following equivalences.
Also from we get,
where we define then .
and further we get .
Now, we define and denote the phase of as respectively.
By putting these in the other constraints we get, .