>28
853を見ないと修正24が正しいかどうかわからないということは、つまり修正24を読んだだけでは成り立つかどうかわからない、間違った証明である、ということでいいですか？

修正24は、正しいですが、853は、より詳しく書いています。