Mapping/Composition/Right surjective/Exercise