既に示した同値性の(2)が結論のようだが?