さらに半双線型性によりformula_2が成り立つ。