あれ?Eは半径9の円を含んでるんだからEに含まれる線分の長さの最大値は最低でも18以上じゃないの?