sdE2⁢n+2m⁡(s,k2)⁢sdE2⁢n+2m⁡(K+ⅈ⁢t,k2),