证明难度大但写代码难度小，建议评灰。