\sigma(a_1)=a_2