訂正

>>346
>E(Φ, F) (>>332) から R への R 上の線形写像 ψ で

E(Φ, F) (>>332) から F への R 上の線形写像 ψ で