>831
どの式でも成否が同じである場合: あなたの証明は正しい

この式の場合は、成否が同じです。