Stated Leray's nerve theorem: the geometric realization |NU| of the nerve of an open cover of a compact space X is homotopy equivalent to X, provided that any subcollection of the open sets in the cover has empty or contractible intersection.