P
Initializing...
Points with square $x - e_i$ are divisible by 2 · Prove2Me