
$\sqrt{\operatorname{disc} (x)/\operatorname{disc} (K)}\in\Q$
