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