ジョルダン標準形
The existence and uniqueness of the principal square root can be deduced directly from the Jordan normal form (see below).