線形代数学の質問です。
・逆行列の一意性
「正方行列Aに対して、AX=XA=I(単位行列)
を満たす正方行列Xが存在する時、Aは正則行列であるという。」

ここで、Aに対してXは一意的に定まる事を証明するのはともかく、
この式自体を証明しろといわれた場合、どう手をつければいいのでしょうか？