行列 $A$ がユニタリ行列であれば、その固有値 $\lambda$ の絶対値 $|\lambda|$ は常にいくらか。

ユニタリ行列は長さを保存する変換であるため、固有値は複素平面上の単位円上にある。