それって「この論文に証明の要点は書かれていません」ということですか?