Add theorem at the end of paper.