P

Initializing...

AT02 Prop. 3.1(iii)–(iv): $ES_\alpha(aX+b)=aES_\alpha(X)-b$, as used in the proof of PROPOSITION 1(iii) · Prove2Me