结论好猜，证明好证。