平面による切り口がすべて円であるような有限な立体は球であることを証明せよ。