Por tanto, si existen contraejemplos a un teorema que se desea demostrar debe existir un contraejemplo mínimo.