Reproving Friedlander's inequality with the de Rham complex. - Fries, Magnus; Goffeng, Magnus; Miranda, Germán (Journal of Spectral Theory, 2025)