We will discuss a proof for the discreteness of transmission eigenvalues with higher-order constant coefficient main terms and higher-order perturbations. The strategy of the proof is the one based on upper triangular compact operators due to J. Sylvester. (Joint work with A. García and M. Zubeldia.)Your browser does not support the video tag.