Lüroth's theorem

Lüroth's theorem is a result in the field of algebraic geometry and number theory, specifically concerning the field of rational functions. It states that if \( K \) is a field of characteristic zero, any finitely generated field extension \( L/K \) that is purely transcendental (i.e.