Cho E, F là hai không gian vectơ trên một trường K và u,v là hai ánh xạ tuyến tính từ E vào F. Để tồn tại một tự đẳng cấu f của E và một tự đẳng cấu g của F sao cho v=g∘u∘f, điều kiện cần và đủ là rg(u)=rg(v), dim(Ker(u))=dim(Ker(v)) và dim(Coker(u))=dim(Coker(v)).