Theorem 5 (Sperner’s Lemma). Assuming that:

• $A\subset P(X)$ is an antichain