>>293 ごめんなさい。正しいと思います。
ただしForsterにその証明は無いと思います。
簡単な証明を教えてくれたら嬉しいです。