P
Initializing...
Graph diameter of a Cartesian product is at most the sum of the factor diameters · Prove2Me