remove theorem 3