3D Kawsaski's theorem using quaternions

Some work around 3d Kawasaki's theorem using quaternions rather than rotation matrices. More of a crash course/study guide than any original research or rigorous proof.