正方行列A, B について
積ABが対角化可能なら、AとBはそれぞれ対角化可能でしょうか。