 It doesn't generate the whole extension because there is no polynomial expression in formula_48 for formula_49.But it is easy to see that formula_50 is a transcendence basis that generates formula_51 so this extension is indeed purely transcendental.