Completely agree. Beyond being of interest in its own right, "There exists" is a prerequisite for further work in finding a practical approach to find the path.