See Lang 2002, Theorem IV.1.9.
參見Lang 2002, Theorem IV.1.9。