设Ｒ是ｃｈａｒＲ≠２，３的非交换素环，Ｄ：Ｒ×Ｒ→Ｒ是非零对称可异的，ｄ是Ｄ的迹，设存在Ｒ的一个同态ｆ，使得ｄ（ｘ）．ｆ（ｘ）＝０对所有ｘ∈Ｒ，则ｆ＝０。......