ゆえに像はに含まれる(つまり、の定義方程式を満たす)。