设[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]，[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]都是幺环，[tex=0.786x1.143]Fx9OZJkFOsEKWqHq2ldQJA==[/tex]，[tex=0.5x1.0]oYgVDn+QZqcDCRxqEZwM2A==[/tex]分别为[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]与[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]的幺元，映射[tex=3.714x1.214]CvfCeDGXNyepssyzmki33HDVaWzCx2JS9WFNkB4Qk6Y=[/tex]是同态且[tex=3.643x1.429]yf5JDaNkdR3YDbV38a/wgh9R0HFW/7T44NIbm+zVfHU=[/tex]，又设[tex=1.0x1.0]/4LSvKfNeQWJ+IvWbbbjdA==[/tex]是一个[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]模，证明：[tex=2.857x1.143]ioqC9rRqzIAxmZ0sUU0HEQ==[/tex]到[tex=1.0x1.0]/4LSvKfNeQWJ+IvWbbbjdA==[/tex]映射[tex=6.0x1.357]0z0Id8cj43tSuGKa24+46oPjniVcoD2tN5HAEnuqk24=[/tex]，[tex=2.357x1.286]NxjaiHDMvwiWn79bA8lJJQ==[/tex]，[tex=2.857x1.286]rMPwe7sc/P6V7JoJW2PjKw==[/tex]使[tex=1.0x1.0]/4LSvKfNeQWJ+IvWbbbjdA==[/tex]成为[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]模。