这题的评级可能有争议，不过我觉得绿题很合适了。

因为证明不难，如果是很难的结论题也应该要有很难的证明去辅助猜到的结论。（虽然好像赛时通过量和 E 差不多）