That looks extremely good. I am still struggling with the problem and, despite your efforts, I might continue to do so.
Still, thank you very much. Not only do I want to understand how vectors (and co-ordinate axes) rotate under arbitrary transformations about an axis, I am also eager to learn...