精编数学证明的教育价值