Added another theorem