Informasi yang berkaitan dengan Teorema Herbrand–Ribel