General rotations

project p on a:

the rest of p is

the other component:

rotate perp. component:

add back two components:

Combine everything, using to simplify:

(rotated vectors are denoted with 0 )