De Rham's theorem