体積を求める問題じゃないからな
球の断面が円になることとトートロジーなのはいかんよ