行列の証明についてです。

<問題>
2次正方行列CがC(BA)=(BA)C…�@を満たすとき、
C=sE+t(BA)…�A
となる実数s,tが存在することを示せ。

(Eは2×2の単位行列、A,Bについては具体的な行列が与えられてます。)


この証明で、自分は�Aを計算して具体的にでてきたCを�@の左辺、右辺に実際に代入して計算し、
(左辺)=(右辺)となり、このCが条件�@を満たすので�Aとなる実数s,tが存在する。


としたのですが、これはダメですか?