あるいは主平方根の存在と一意性はジョルダン標準形を用いて直截に示せる(後述)。