General rotations

Combine everything, using to simplify:

project p on v:

the rest of p is

the other component:

rotate perp. component:

add back two components:

(rotated vectors are denoted with 0 )