验证O的还原性强于S的方程式