Weyl equidistribution theorem