P
Initializing...
Congruence of squares gives a nontrivial factor · Prove2Me