数学金字塔模型的证明