
$b-c\in\Z$
