このとき任意のと任意のに対して、