Lo evidente.

Si dos fincas están separadas por un arroyo, para pasar de una finca a otra necesitarás mojarte los pies (salvo que exista un puentecito). Esto parece obvio. Pero Bolzano (1781-1848) dedicó notables esfuerzos hasta que lo demostró, matemáticamente, con su famoso Teorema del Valor Intermedio.
No hay nada tan necesario y urgente como probar como lo que a todo el mundo le parece intuitivo y autoevidente. Y nada más difícil.