任意一个自然数a的立方等于a个连续奇数相加,这是什么定理/猜想?