Function Field is Finitely Generated