P
Initializing...
Preimages of points of a finite-dimensional face and of its reflection lie in a common face of no larger dimension · Prove2Me