归纳——猜想——证明.