もう洋ナシ型でよくね?
球体だと計算合わんし
かと言って完全な平らとは証明できない