Para probar la afirmación original, por tanto, es suficiente probar algo aparentemente mucho más débil: por cada contraejemplo existe un contraejemplo menor.