
$b\equiv c\pmod1$
