Ker ⁡ ( k * - l * ) ≅ Im ⁡ ( i * , j * ) TildeFullEqual Ker SubStar k -1 SubStar l SubStar i SubStar j