Una vez se encuentre dicho contraejemplo, como una entidad que se contradiga por el teorema, se ajusta el teorema, posiblemente extendiendo el dominio de su validez.