え？なんで？
既に証明されてることを、俺が読みやすいように並べなおしてくれてんだろ？
役に立つじゃん。