En⁡(12)=2-n⁢En.