Let U1⊆V1,U2⊆V2,…,Un⊆Vn be linear subspaces with the residue class spaces V1/U1,…,Vn/Un. Does there exist a canonical isomorphism