>>484
483じゃないが、Fは有界じゃないぞ。