
$p\nmid\operatorname{disc} (F)$
