↑ 711と712のベクトルの和は0である。