>>907
ワイルの一様分布定理