Arbitrary extensions

The theorem is not restricted to fixed pure spectators. Arbitrary mixed and input-correlated extensions are covered by the restriction identity itself. A different isometric construction may require an explicit preparation purification; such a requirement is not supplied by merely calling an extra wire a spectator CheungEm05A.