18/02/14 00:10:46.54 66CEJ9Q+.net
>>164 ＆ >>168
Bfを満たす開区間（a,b）が存在し→その開区間内にリプシッツ連続である開区間（a',b'）が取れる
という証明の流れと思います
証明は考えてみますが、結論「リプシッツ連続である開区間（a',b'）が取れる」の前提として、仮定「Bfを満たす開区間（a,b）が存在」するが必要と思っています
なので、ここを強調しておきます
なお、「Bfを満たす開区間（a,b）の存在」が否定される場合は、結論「リプシッツ連続である開区間（a',b'）が取れる」も否定されると思いますよ
もし、証明可能と言われるなら、逆にどうぞと申し上げておきます
なお、>>170をご参照ください