Let be odd and have distinct prime divisors. Assigning each complete prime-power factor of to one of two factors gives ordered coprime factorizations . Interchanging and identifies pairs, and each unordered factorization gives a different reduced primitive form of discriminant . Hence
Codex Wiki