Carefully prove that the set in the compactness theorem is "maximal" in the sense that if Wp has the same two properties that has (that is, Properties (i) and (ii) in our lecture notes) and , then = .