
$D=\operatorname{disc} (F)$
