Jordan normal form
The existence and uniqueness of the principal square root can be deduced directly from the Jordan normal form (see below).