added theorem 4