\sigma:K(a_1)\rightarrow K(a_2)