En particular, el conjunto de todos los contraejemplos contiene un elemento minimal, el "contraejemplo minimal".