SURJECTIVITY of the IDEAL EXTENSION MAP