非形式的なアイディアなら誰でも思い浮かぶ
形式的に証明することに失敗したのであれば意味がない