A,Bが相似である時P^-1AP=BとなるPは次のようにして求められる。

xE-AとxE-Bが対等であるからxE-Aは何回かの基本変形によって
xE-Bに達する。そのうち右基本変形だけを取り出し、
対応する基本行列を其の順序に掛け合わせたものをP(x)とする。
P(x)=P_k*x^k+P_k-1*x^(k-1)+…+P_0
ならば
P=P_kB^k+P_k-1B^(k-1)+…+P_1B+P0
が求める行列である。

とあるのですが、何故こうなるのでしょうか？