
$\operatorname{disc} (K)=\operatorname{disc} (F_K)$
