On divergence of Fourier–Walsh series of continuous function

Доказывается, что для произвольного совершенного множества $P$ положительной меры, для которого $0$ является точкой плотности, можно определить непрерывную на $[0, 1$) функцию $f(x)$, которая обладает следующим свойством: ряд Фурье–Уолша любой измеримой функции, которая ограничена на $[0, 1)$ и совпадает с $f(x)$ на множестве $P$, расходится в точке $0$.