P
Initializing...
Freiman repeated-three proof: contact factor · Prove2Me