In fact, the name “equidistribution theorem” refers to a much stronger result which
was not yet claimed by Kronecker in 1884, but was proved by several people including
Hermann Weyl around 1909–1910. A nice two page exposition of the result and its
proof is given in [10]. We only mention a special and simple consequence