P
Initializing...
The weak right-averaging orbit stays in the ball of the complete bound · Prove2Me