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