P
Initializing...
Olson (30) iterated: $c\in nA\Rightarrow\lambda(c)\le n\alpha$ · Prove2Me