f(x):xの多項式　A:n次正方行列
f(A)=diag[y1,y2,...,yn]⇔A=diag[a1,a2,...,an]
は真でしょうか？真なら理由を教えてください。
特に⇒をお願いします。