LetKbe a cubic number field, and as above write where is a fundamental discriminant. Let be the cubic form associated toKby the Davenport-Heilbronn map, and let its Hessian. Finally, set . Then:

By Proposition 3.3 (2) we have iff , and by Proposition 2.3 (3) this is true iffpis totally ramified, hence by Proposition 4.1 (1) iff . Hencefand have the same prime divisors. Letpbe such a prime divisor. By Davenport-Heilbronn's theorem, hence by Proposition 3.3 (3) we have if , hence if we have and , so up to powers of3,fis squarefree, and since we have hence up to powers of 3, is also squarefree.Assume now that

p=3and thatpdividesf(hence also ). By Proposition 3.3 (3) we have and since we have . Furthermore, if we have hence . Finally, since , using the explicit formulas in terms of the coefficients of the form we see that and , which implies hence . This proves all the assertions of the proposition.