De Rham-Weil theorem