
$\operatorname{disc} (K)=\operatorname{disc} (F)>0$
