Esta es la prueba de la que hablo http://www.math.cmu.edu/~af1p/Enseñanza/Combinatoria/F03/Clase14.pdf
Cuando se toma una cadena máxima C en P y se obtienen anticadenas en P \C si el tamaño de la anticadena de tamaño máximo en P fuera m se puede obtener una anticadena en P \C de tamaño m?
Del pdf: ¿Puede darse el caso 2?