P
Initializing...
A moving prefix of positive relative length has uniform positive density · Prove2Me