いよいよ明日だな
公開処刑
3.11→3.12の形式化はやっぱり無理でした、かな
2年半、星が説明しつくしても、形式化出来ないんじゃ、少なくとも証明とはいえないよな
ま、当初から「間違ってさえいない」と言われてるように、ギャップがある（間違っている）というより、最初から証明になってない