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 ).