Leray's theorem