哈马达定价模型证明