added sequential extend theorem