
$K=K_F$
