行列AとBが AB=BA を満たすとき、
BはAの多項式として書けるでしょうか?