Erdős Problem #994 — Khintchine's measurable-set equidistribution conjecture

For every measurable $E⊂(0,1)$, is it true that for almost every $α$, the proportion of $1≤k≤n$ with fractional part of $kα$ in $E$ tends to the measure of $E$?