可換体F上の行列環において、すべての対角行列と可換な行列はまた対角行列なのは
どうしてなのでしょうか？