Comprobar y demostrar que se sabe