
$\operatorname{disc} (K)=8f^2$
