A note on the de Rham complex and a discrete compactness property