证明难度远高于蓝题水平，已调整为紫。