terminator-II
доказательство, ссылки и много другого можно найти в книге
Kharazishvili A.B. Strange functions in real analysis (M.Dekker, 2000),
в частности, интересующая Вас теорема доказана на стр. 144. книгу можно найто на poiskknig.ru
Или посмотрите в
обзоре