Complex sentence: Belyi's theorem is an existence theorem for Belyi functions, and has subsequently been much used in the inverse Galois problem.
Split into simpler sentences: Belyi's theorem is an existence theorem for such functions. It has subsequently been much used in the inverse Galois problem.