Text this: Reproving Friedlander's inequality with the de Rham complex.