Added a theorem.