Heaven Burns Red 不完全性を繋ぐXの証明