誰かが黒板にドラマ『ガリレオ』みたいにノリノリで数式を書いたりして何らかの証明を書いたとして、それが間違っていないことはどうやって証明するのか？＞＜