Mapping theorem