>>615に訂正箇所がありました.1行目は,

誤《十分性の証明》
↓
正《必要性の証明》

です.失礼しました.