Some theorems on mappings onto.