ヘブンバーンズレッド イベント 不完全性を繋ぐXの証明 ネタバレ