収束しないの命題に関しては、不動点以外からスタート、という仮定が含まれてるのかもしれん