P
Initializing...
$\alpha_{MH}$ satisfies conditions (i) and (ii) of Theorem 2 · Prove2Me