うえの解説の後段の
Eは[0,1]における無理数の全体を考えています。

証明では一般のばあいを証明しています。