For we define . It is symmetric and , so it is orthogonal.

Suppose but . Then by picking , we find:

(just expand and pray)

Note

It is more efficient to calculate as (complexity )
rather than calculating and then multiplying matrices (complexity ).