>>56
>定理 5.4の2)の証明ですが、より一般的な定理 5.3の1)から明らかに成り立ちます。
fの条件違うけど大丈夫？