
$f=[\Z_K:\Bbb Z [x']]$
