Genus theory and the factorization of class equations over mathbb{F}_p

A new proof, depending only on genus theory, is given of a theorem of Stankewicz, which characterizes the primes $p$ for which the class equation $H_D(X)$ of the maximal order of the imaginary quadratic field $K=\mathbb{Q}(\sqrt{D})$ has a linear factor (mod $p$). This yields a prime decomposition law for the primes $p$ with $p \nmid D$ in the real subfield of the Hilbert class field of $K$.