P
Initializing...
A common face with $0/1$ coordinate vertices has diameter at most its dimension · Prove2Me