$Ker ( k * - l * ) ≅ Im ( i * , j * )$