P
Initializing...
Freiman repeated-three proof: equal intersection · Prove2Me