证明了若环T是具有一对零同态的Morita context环（A,B,M,N,ψ,φ）,则有T/L■A/I⊕B/J,其中L=（I,J,M,N）是环T的理想,I,J分别是A,B的理想......