
$2^3\nmid\operatorname{disc} (K)$
