P
Initializing...
One canonical return preserves the square-root cone for every radius at least two · Prove2Me