
$x'\in\Z_K$
