5.4.1   映射定理