Cada conjunto parcialmente ordenado tiene una cadena maximal.