如果严谨证明理论上应该是绿甚至更高？本题思维难度并不低吧