n次正方行列X、Yに対して、
   XY−YX=E
をみたすようなX,Yは存在しないことを示せ。
ただしEはn次の単位行列とする。