P
Initializing...
The uniform Proposition 18, from the uniform Proposition 14 at A and the width condition at A · Prove2Me