他方が「有限次元」ならば逆向きの写像(余評価写像)