Adding theorem 2