V,WをC上の有限次元ベクトル空間とし、f:V→V,g:W→Wを線型写像とする
fとgは同じ固有値をもたないとし、線型写像φ:V→Wは、φ・f=g・φをみたすとする
このとき、φ=0であることを示せ