  Stability proof of the controller proposed in the conference paper "Attitude
and Angular Velocity Tracking for a Rigid Body using Geometric Methods on the
Two-Sphere", DOI: 10.1109/ECC.2015.7331033. This proof must be studied together
with Sec. III-C in the aforementioned paper.
