P
Initializing...
A box cut by one balance equation has graph diameter at most the number of coordinates · Prove2Me