意味不明
正しさの証明てなんなの?