Mason公式证明