
$F_K\in U_p$
