Add theorem 3