P
Initializing...
The repeated-distance property is a pointwise multiplicity bound · Prove2Me