Mapping/Composition/Injective surjective bijection/Fact/Proof/Exercise