P⁡(E⁡(x)+1)+P⁡(E⁡(x))=2⁢P⁡(x),