Union of Nest of Mappings is Mapping/Proof