Por ser "E"/"K" normal, toda K-inmersión entre E y Ω es un automorfismo y se tiene: