
$\operatorname{disc} (F)=\operatorname{disc} (H_F)/(-3)$
