我认为，本题的证明难度远不只黄。

如果只按照结论的简单程度评价未免太片面。

建议升绿。