Sí, podemos usar la identidad de Weinstein-Aronszajn det para mostrar que los autovalores no nulos de AB y BA coinciden.
Prueba Sea \lambda un autovalor no nulo de AB. Esto significa que \det (\lambda I_n - AB) = 0, sin embargo
\begin{align} \det (\lambda I_n - AB) &= \lambda^n\det\left(I_n - \left(\frac{1}{\lambda}A\right)B\right) \\ &= \lambda^n\det\left(I_m - B\left(\frac{1}{\lambda}A\right)\right) \\ &= \lambda^{n-m}\det\left(\lambda I_m - BA\right) \end{align}
y vemos que \det (\lambda I_m - BA) = 0 lo que significa que \lambda es un autovalor no nulo de BA. La demostración recíproca sigue por el argumento análogo.