Weyl's equidistribution theorem