>>358の修正

命題
C, D, E を圏とする。
F：C×D → E、G：C×D → E を関手とする。

任意の (X, M) ∈ C×D (>>305)に対して
射 ψ_(X, M)：F(X, M) → G(X, M) が存在するとする。
このとき、次の条件は同値である。

(ⅰ) ψ は自然変換である。

(ⅱ) C における任意の射 f：X → Y と D における任意の射 u：M → N に対して
次の図式が可換になる。

F(X, M) → G(X, M)
　↓　　　　　↓
F(Y, M) → G(Y, M)

F(X, M) → G(X, M)
　↓　　　　　↓
F(X, N) → G(X, N)

証明
(ⅰ) ⇒ (ⅱ)
自明である。

(続く)