P
Initializing...
Theorem 5.7.1 — The prime-factor criterion for two integer squares · Prove2Me