
$\operatorname{disc} (K)$
