>>77
正しさの証明になっていくんだよ