En efecto: f = i°φ°π(a) = f = i°φ(â) = i(φ(â)) = φ(â) = f(a) para todo a∈E.