NUSA: Linguistic Studies of Languages in and around Indonesia is an open access journal published by the Research Institute for Languages and Cultures of Asia and Africa, Tokyo University of Foreign Studies. The Series focuses primarily on works about languages in Indonesia, but studies of languages from nearby countries are also welcome. Papers appearing in NUSA may be original or translated from languages other than English.
Authors retain copyright over all works published in NUSA. All papers published by NUSA are made available through a Creative Commons Attribution Non-commercial No Derivatives license.
For more information, see the journal website at http://www.aa.tufs.ac.jp/en/publications/nusa.
In this paper, we do exactly what the title implies: prove the Čebotarev Density Theorem. This is an extremely valuable theorem because it is a vast generalization of Dirichlet's Theorem on primes in an arithmetic progression. Our theorem goes even further to the case of other number fields; we will show that the prime ideals in an imaginary quadratic field K are virtually equidistributed among the conjugacy classes of Artin symbols in the Galois group of a Galois extension L over K. Note that L need not be abelian over K!