>>164 ＆ >>168

Bfを満たす開区間（a,b）が存在し→その開区間内にリプシッツ連続である開区間（a',b'）が取れる
という証明の流れと思います

証明は考えてみますが、結論「リプシッツ連続である開区間（a',b'）が取れる」の前提として、仮定「Bfを満たす開区間（a,b）が存在」するが必要と思っています
なので、ここを強調しておきます

なお、「Bfを満たす開区間（a,b）の存在」が否定される場合は、結論「リプシッツ連続である開区間（a',b'）が取れる」も否定されると思いますよ
もし、証明可能と言われるなら、逆にどうぞと申し上げておきます

なお、>>170をご参照ください