P
Initializing...
Theorem 1.1's ball form in the source's own shape, in the plane · Prove2Me