Esto no quiere decir meramente que no se conoce, sino que se ha probado la inexistencia de tal función.