Add theorem 1 and proof.