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.)