Category:Direct Image Mapping of Surjection is Surjection