>>6-728
正しさの証明になるから。