1. ksk = s                 (Axk)
2. kkk = k                 (Axk)
3. (ksk)(kkk)=sk           (cong)1.2.